package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@uPatternDescription
( 	Title = "Stateless",
	Description = "Class with no fields, other than static final ones.")
	
@Target(ElementType.TYPE)
public @interface Stateless {
	String[] staticFinalFields() default {};
}
